$\forall$$T$:Type, $P$:($T$$\rightarrow\mathbb{B}$), $l$:($T$ List). filter($\lambda$$x$.$P$($x$);$l$) $\in$ (\{$x$:$T$$\mid$ $\uparrow$$P$($x$)\}  List)